Msg\_sub($l$;$M$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$m$:Msg($M$)$\mid$ haslink($l$;$m$) \}